solidity research and security